In mathematics, Reeb stability theorem, named after Georges Reeb, asserts that if one leaf of a codimension-one foliation is closed and has finite fundamental group, then all the leaves are closed and have finite fundamental group.
Contents |
Theorem[1]: Let be a , codimension foliation of a manifold and a compact leaf with finite holonomy group. There exists a neighborhood of , saturated in (also called invariant), in which all the leaves are compact with finite holonomy groups. Further, we can define a retraction such that, for every leaf , is a covering with a finite number of sheets and, for each , is homeomorphic to a disk of dimension k and is transverse to . The neighborhood can be taken to be arbitrarily small.
The last statement means in particular that, in a neighborhood of the point corresponding to a compact leaf with finite holonomy, the space of leaves is Hausdorff. Under certain conditions the Reeb Local Stability Theorem may replace the Poincaré–Bendixson theorem in higher dimensions.[2] This is the case of codimension one, singular foliations , with , and some center-type singularity in .
The Reeb Local Stability Theorem also has a version for a noncompact leaf.[3][4]
An important problem in foliation theory is the study of the influence exerted by a compact leaf upon the global structure of a foliation. For certain classes of foliations, this influence is considerable.
Theorem[1]: Let be a , codimension one foliation of a closed manifold . If contains a compact leaf with finite fundamental group, then all the leaves of are compact, with finite fundamental group. If is transversely orientable, then every leaf of is diffeomorphic to ; is the total space of a fibration over , with fibre , and is the fibre foliation, .
This theorem holds true even when is a foliation of a manifold with boundary, which is, a priori, tangent on certain components of the boundary and transverse on other components.[5] In this case it implies Reeb sphere theorem.
Reeb Global Stability Theorem is false for foliations of codimension greater than one.[6] However, for some special kinds of foliations one has the following global stability results:
Theorem[7]: Let be a complete conformal foliation of codimension of a connected manifold . If has a compact leaf with finite holonomy group, then all the leaves of are compact with finite holonomy group.
Theorem[8]: Let be a holomorphic foliation of codimension in a compact complex Kähler manifold. If has a compact leaf with finite holonomy group then every leaf of is compact with finite holonomy group.